#include <unistd.h>  
#include <stdio.h>  
  
int main(void)  
{  
    char *const argv[] ={"hello", NULL};  
    execv("hello", argv);
     printf("123456789\n");  
    return 0;  
}  
